<html>
<head><meta charset="utf-8"><title>scheduling some sprints · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html">scheduling some sprints</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="204243215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/204243215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#204243215">(Jul 17 2020 at 18:42)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="116113">@lqd</span> -- so we failed to schedule any sprints. But I still want to. I was thinking that maybe Aug 2-5 might work? In fact, I am wondering if it'd be possible to schedule some kind of "regular" sprints, or maybe just on <em>my</em> part to kind of dedicate some weeks to helping to investigate and push polonius, doesnt' necessarily have to involve all the rest of y'all</p>



<a name="204243336"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/204243336" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#204243336">(Jul 17 2020 at 18:43)</a>:</h4>
<p>I'm game for Aug 2-5</p>



<a name="204243560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/204243560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#204243560">(Jul 17 2020 at 18:45)</a>:</h4>
<p>(cc <span class="user-mention" data-user-id="204115">@Albin Stjerna</span>)</p>



<a name="204243684"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/204243684" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#204243684">(Jul 17 2020 at 18:46)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  by then (hopefully way before that) I'll have written up thoughts and notes about the agenda/topics I mentioned last time, so that you can see if something interests you, to investigate whenever your schedule clears up otherwise</p>



<a name="204243849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/204243849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#204243849">(Jul 17 2020 at 18:47)</a>:</h4>
<p>(sorry we haven't been able to schedule this earlier)</p>



<a name="204313026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/204313026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#204313026">(Jul 18 2020 at 18:50)</a>:</h4>
<p>Sorry I dropped the ball on the sprint scheduling; I’m also up for Aug 2-5! I, err, may have forgotten what I was doing and/or parts of Rust in general but it will be fun for me!</p>



<a name="204454276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/204454276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#204454276">(Jul 20 2020 at 17:58)</a>:</h4>
<p>Hmm I see Aug 2 is a sunday</p>



<a name="204454284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/204454284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#204454284">(Jul 20 2020 at 17:58)</a>:</h4>
<p>I'm prob not available then :)</p>



<a name="204454296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/204454296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#204454296">(Jul 20 2020 at 17:58)</a>:</h4>
<p>so maybe Aug 3-5 is more accurate</p>



<a name="204528202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/204528202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#204528202">(Jul 21 2020 at 09:39)</a>:</h4>
<p>Off by one, a classic</p>



<a name="205351845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205351845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205351845">(Jul 29 2020 at 12:57)</a>:</h4>
<p>Apparently my supervisor thinks Polonius is research, which means I can actually spend some of my working hours working on it!</p>



<a name="205351848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205351848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205351848">(Jul 29 2020 at 12:57)</a>:</h4>
<p>Including the sprint</p>



<a name="205401867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205401867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205401867">(Jul 29 2020 at 19:23)</a>:</h4>
<p>Ooh, nice</p>



<a name="205401889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205401889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205401889">(Jul 29 2020 at 19:23)</a>:</h4>
<p>I'm looking forward to sprint, I'm presuming it still works for all of you?</p>



<a name="205401901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205401901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205401901">(Jul 29 2020 at 19:23)</a>:</h4>
<p>I know <span class="user-mention" data-user-id="116113">@lqd</span> you had some specific ideas right about things to pursue?</p>



<a name="205410278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205410278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205410278">(Jul 29 2020 at 20:34)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  yeah I mentioned some <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/sprint.20week/near/198209577">here</a> -- plus I think it'll be good for all of us to do a bit of planning, what we can do, what we should do</p>



<a name="205410348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205410348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205410348">(Jul 29 2020 at 20:35)</a>:</h4>
<p>I'm not sure Albin or you saw them yet and if they interest you all though</p>



<a name="205411005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205411005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205411005">(Jul 29 2020 at 20:42)</a>:</h4>
<p>a lot of these items fit into a kind of theme "make sure we can land something that works and scales" -- but I don't think there's a foolproof way of achieving that as of yet (mostly it's the scaling that worries me), so a bit of design/planning to see what I missed in that regard would be greatly appreciated :)</p>



<a name="205411936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205411936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205411936">(Jul 29 2020 at 20:50)</a>:</h4>
<p>(also what changes we will need in order to integrate with chalk eventually, even if that's more longer term. I thought it could still be interesting to talk about in case there are differences we can take advantage of in either contexts)</p>



<a name="205415660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205415660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205415660">(Jul 29 2020 at 21:24)</a>:</h4>
<p>(also a plan for better testing and validating everything)</p>



<a name="205416200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205416200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205416200">(Jul 29 2020 at 21:30)</a>:</h4>
<p>the discussion/design/planning would be very worthwhile to me, as a lot of those coding tasks are easy when we're all on the same page (and I can do a bunch of them on my own) whereas having you all to bounce ideas around is rare</p>



<a name="205489096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205489096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205489096">(Jul 30 2020 at 14:57)</a>:</h4>
<p>ok, I'm reading over those now...</p>



<a name="205489115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205489115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205489115">(Jul 30 2020 at 14:57)</a>:</h4>
<p>do you think the best way to start would be just with some dedicated discussion? sounds like yes</p>



<a name="205489752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205489752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205489752">(Jul 30 2020 at 15:02)</a>:</h4>
<p>we could</p>



<a name="205490823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205490823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205490823">(Jul 30 2020 at 15:10)</a>:</h4>
<p>but as long as we are able to do so during the sprint it'll be great :) if there are better tasks to start with, for example related to move errors in rustc or something else, it'd be fine to start with those as well</p>



<a name="205765535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205765535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205765535">(Aug 03 2020 at 07:18)</a>:</h4>
<p>My plan is to spend the morning getting back in the saddle, and starting out with getting move errors into rustc</p>



<a name="205765546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205765546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205765546">(Aug 03 2020 at 07:19)</a>:</h4>
<p>(there is no chance I will finish that before Niko wakes up)</p>



<a name="205768041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205768041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205768041">(Aug 03 2020 at 07:58)</a>:</h4>
<p>hi :)</p>



<a name="205768884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205768884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205768884">(Aug 03 2020 at 08:08)</a>:</h4>
<p>I wonder if there's an issue with the move errors computation, maybe making it compute too many things: it seems to be taking a lot of time for clap for example. I wonder if it's the rules or the model itself, but maybe this is one those cases where a dataflow context would be more appropriate. maybe the granularity of the model is so fine-grained that a lot of state is computed and cloned (per-point at twice the number of points versus per-block)</p>



<a name="205769082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205769082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205769082">(Aug 03 2020 at 08:10)</a>:</h4>
<p>I'm also not sure one of the fixes I made to remove the false positives (switching the mid/start point where a fact was emitted) was without consequences, even if tests still pass</p>



<a name="205770655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205770655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205770655">(Aug 03 2020 at 08:31)</a>:</h4>
<p>I guess those are great questions to ask the rustc test suite once we have the reporting integrated :)</p>



<a name="205770764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205770764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205770764">(Aug 03 2020 at 08:32)</a>:</h4>
<p>hehe yeah the 2nd one for sure</p>



<a name="205770956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205770956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205770956">(Aug 03 2020 at 08:35)</a>:</h4>
<p>I just hope it wouldn't take a lot of effort to discover how to make the computation fast</p>



<a name="205771070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205771070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205771070">(Aug 03 2020 at 08:37)</a>:</h4>
<p>but then again, we could compute the errors differently if datafrog is not helping, or reuse rustc's computation, so it's not a hopeless situation or anything :)</p>



<a name="205771728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205771728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205771728">(Aug 03 2020 at 08:46)</a>:</h4>
<p>agreed, I also feel like a lot rests on that</p>



<a name="205778608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205778608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205778608">(Aug 03 2020 at 10:16)</a>:</h4>
<p>ah I forgot and I'll check right now, I remember that when I prototyped fixing the 2 cases of OOM in rustc's fact generation (2 numeric test cases: <code>ui/numbers-arithmetic/saturating-float-casts.rs</code> and <code>ui/wrapping-int-combinations.rs</code>), it seemed to work for the loan and subset errors analysis, but the move errors computation would then OOM instead of rustc</p>



<a name="205783501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205783501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205783501">(Aug 03 2020 at 11:28)</a>:</h4>
<p>I'm still at "how do I get stuff to compile" so, err, no rush</p>



<a name="205783524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205783524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205783524">(Aug 03 2020 at 11:28)</a>:</h4>
<p>I'm on a new machine and haven't done this for half a year or so, so I guess I'm a little rusty</p>



<a name="205783828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205783828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205783828">(Aug 03 2020 at 11:33)</a>:</h4>
<p>I assume you're following the rustc dev guide ?</p>



<a name="205783906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205783906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205783906">(Aug 03 2020 at 11:34)</a>:</h4>
<p>Yes,  I am</p>



<a name="205783911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205783911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205783911">(Aug 03 2020 at 11:35)</a>:</h4>
<p>I'm so happy it exists</p>



<a name="205783939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205783939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205783939">(Aug 03 2020 at 11:35)</a>:</h4>
<p>yeah it's great, then you won't have issues</p>



<a name="205784037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784037">(Aug 03 2020 at 11:36)</a>:</h4>
<p>how's the phd going btw ?! having fun with smt and string operations ? :)</p>



<a name="205784076"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784076" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784076">(Aug 03 2020 at 11:37)</a>:</h4>
<p>I think it's too early to tell how it's going, but I'm...doing stuff?</p>



<a name="205784142"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784142" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784142">(Aug 03 2020 at 11:38)</a>:</h4>
<p>I do actually have an issue; for whatever reason <code>x.py check</code> doesn't...work</p>



<a name="205784163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784163">(Aug 03 2020 at 11:39)</a>:</h4>
<p>how does it fail ?</p>



<a name="205784171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784171">(Aug 03 2020 at 11:39)</a>:</h4>
<div class="codehilite"><pre><span></span><code>./x.py check
Updating only changed submodules
Submodules updated in 0.01 seconds
    Finished dev [unoptimized + debuginfo] target(s) in 0.09s
thread &#39;main&#39; panicked at &#39;no entry found for key&#39;, src/bootstrap/lib.rs:1115:26
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
failed to run: /home/albin/rust/build/bootstrap/debug/bootstrap check
Build completed unsuccessfully in 0:00:00
</code></pre></div>



<a name="205784240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784240">(Aug 03 2020 at 11:40)</a>:</h4>
<p>Anyway, I'm mainly flailing around trying to figure out what I'm supposed to be doing, which I've heard is normal for a first-year PhD :)</p>



<a name="205784259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784259">(Aug 03 2020 at 11:40)</a>:</h4>
<p>good to hear (about the phd, not x.py check failing :)</p>



<a name="205784286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784286">(Aug 03 2020 at 11:41)</a>:</h4>
<p>the error is weird and without much info dang</p>



<a name="205784289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784289">(Aug 03 2020 at 11:41)</a>:</h4>
<p>My hope is to be able to focus more on more rust-adjacent things after finishing my current work on the more "inside the SMT solver" gritty details</p>



<a name="205784295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784295">(Aug 03 2020 at 11:41)</a>:</h4>
<p>That's exactly what I thought</p>



<a name="205784355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784355">(Aug 03 2020 at 11:42)</a>:</h4>
<p>all submodules and directories seem acceptable on git status ?</p>



<a name="205784362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784362">(Aug 03 2020 at 11:42)</a>:</h4>
<p>the backtrace is also incomprehensible</p>



<a name="205784388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784388">(Aug 03 2020 at 11:42)</a>:</h4>
<p>It looks like it</p>



<a name="205784399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784399">(Aug 03 2020 at 11:42)</a>:</h4>
<p>and it should be a clean fork</p>



<a name="205784421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784421">(Aug 03 2020 at 11:43)</a>:</h4>
<p>I feel it's not the first time I've seen this panic message mentioned somewhere, at least showing which crate is invalid would be helpful</p>



<a name="205784424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784424">(Aug 03 2020 at 11:43)</a>:</h4>
<div class="codehilite"><pre><span></span><code>git status
On branch master
Your branch is up to date with &#39;origin/master&#39;.

Changes not staged for commit:
  (use &quot;git add &lt;file&gt;...&quot; to update what will be committed)
  (use &quot;git checkout -- &lt;file&gt;...&quot; to discard changes in working directory)

    modified:   Cargo.lock
    modified:   src/librustc_middle/Cargo.toml
    modified:   src/librustc_mir/Cargo.toml
</code></pre></div>



<a name="205784529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784529">(Aug 03 2020 at 11:45)</a>:</h4>
<p>It's even weirder that _normal compilation_ works fine?!</p>



<a name="205784551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784551">(Aug 03 2020 at 11:45)</a>:</h4>
<p>there was a git problem on the rust repo earlier, it may be related to that but I would assume it would have failed earlier or differently if that was actually the case</p>



<a name="205784622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784622">(Aug 03 2020 at 11:47)</a>:</h4>
<p>(it was fixed by <a href="https://github.com/rust-lang/rust/pull/75092">https://github.com/rust-lang/rust/pull/75092</a> and some other things)</p>



<a name="205784942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784942">(Aug 03 2020 at 11:53)</a>:</h4>
<p>Interesting, it works if I don't change my files to use the local polonius</p>



<a name="205784946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205784946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205784946">(Aug 03 2020 at 11:53)</a>:</h4>
<p>So something is clearly up with that</p>



<a name="205785153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205785153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205785153">(Aug 03 2020 at 11:56)</a>:</h4>
<p>I should point Cargo.toml to the polonius-engine directory, right?</p>



<a name="205785160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205785160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205785160">(Aug 03 2020 at 11:56)</a>:</h4>
<p>yeah</p>



<a name="205785224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205785224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205785224">(Aug 03 2020 at 11:57)</a>:</h4>
<p>I'm still trying to untangle the branch I mentioned earlier but I'll be able to check the same thing on my machine soon as well</p>



<a name="205785405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205785405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205785405">(Aug 03 2020 at 12:00)</a>:</h4>
<p>haha same as you</p>



<a name="205785519"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205785519" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205785519">(Aug 03 2020 at 12:02)</a>:</h4>
<p>Ok so something's happening</p>



<a name="205785533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205785533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205785533">(Aug 03 2020 at 12:02)</a>:</h4>
<p>I'm wondering if I even need a newer Polonius though, I think rust is using 0.12.x</p>



<a name="205785548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205785548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205785548">(Aug 03 2020 at 12:02)</a>:</h4>
<p>And I think that one has move errors but I'd have to check</p>



<a name="205785550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205785550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205785550">(Aug 03 2020 at 12:02)</a>:</h4>
<p>(there have been some recent changes to x.py, folders moved, etc)</p>



<a name="205785556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205785556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205785556">(Aug 03 2020 at 12:02)</a>:</h4>
<p>it does have it</p>



<a name="205785563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205785563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205785563">(Aug 03 2020 at 12:03)</a>:</h4>
<p>0.12.1</p>



<a name="205785575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205785575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205785575">(Aug 03 2020 at 12:03)</a>:</h4>
<p>so yeah you should be able to use the <a href="http://crates.io">crates.io</a> version directly</p>



<a name="205785674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205785674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205785674">(Aug 03 2020 at 12:04)</a>:</h4>
<p>while I'll be the one battling <code>thread 'main' panicked at 'can't access crate polonius-engine', src/bootstrap/lib.rs:1115:67</code></p>



<a name="205786177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205786177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205786177">(Aug 03 2020 at 12:10)</a>:</h4>
<p>hey <span class="user-mention" data-user-id="116122">@simulacrum</span> does <span aria-label="up" class="emoji emoji-2b06" role="img" title="up">:up:</span> ring a bell by any chance ?</p>



<a name="205786215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205786215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205786215">(Aug 03 2020 at 12:11)</a>:</h4>
<p>bootstrap apparently failing while accessing local checkouts of dependencies</p>



<a name="205788013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205788013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205788013">(Aug 03 2020 at 12:32)</a>:</h4>
<p>but it at least seems to work for git checkouts</p>



<a name="205790084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205790084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205790084">(Aug 03 2020 at 12:57)</a>:</h4>
<p>it does not, no</p>



<a name="205790091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205790091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205790091">(Aug 03 2020 at 12:57)</a>:</h4>
<p>let me take a look though</p>



<a name="205790230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205790230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205790230">(Aug 03 2020 at 12:59)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> did you make any headway on it?</p>



<a name="205790262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205790262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205790262">(Aug 03 2020 at 12:59)</a>:</h4>
<p>it looks like for whatever reason it's not in <code>cargo metadata --no-deps</code> output</p>



<a name="205790359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205790359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205790359">(Aug 03 2020 at 13:00)</a>:</h4>
<p>not exactly sure why that'd be though</p>



<a name="205790383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205790383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205790383">(Aug 03 2020 at 13:00)</a>:</h4>
<p>I didn't make much headway on it, just found out it worked with git checkouts so I was pushing my wip work on GH (while LLVM was rebuilding)</p>



<a name="205790499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205790499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205790499">(Aug 03 2020 at 13:01)</a>:</h4>
<p>hm okay</p>



<a name="205790571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205790571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205790571">(Aug 03 2020 at 13:02)</a>:</h4>
<p>I'd guess that there's some sort of discrepancy in what cargo metadata is spitting out, but I can't think of what it could be right now</p>



<a name="205790613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205790613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205790613">(Aug 03 2020 at 13:02)</a>:</h4>
<p>I tried to clean everything in case it was some stale build artifacts colliding with the recent repository rework, but it was not the case, and now I'm just rebuilding everything :)</p>



<a name="205790763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205790763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205790763">(Aug 03 2020 at 13:04)</a>:</h4>
<p>can you gist output of <code>cargo metadata --no-deps --manifest-path Cargo.toml --format-version 1</code>?</p>



<a name="205790769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205790769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205790769">(Aug 03 2020 at 13:04)</a>:</h4>
<p>(it correctly wasn't able to find the crate if I pointed it at a wrong directory)</p>



<a name="205790825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205790825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205790825">(Aug 03 2020 at 13:04)</a>:</h4>
<p>yep I'll try it out now</p>



<a name="205791150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791150">(Aug 03 2020 at 13:08)</a>:</h4>
<p>here it is <a href="https://gist.githubusercontent.com/lqd/49a6ca9e8ff75ef0b17a9c1b0f48020a/raw/bb223458e6bb05a129a9cdf172f10eab14850e01/metadata.json">https://gist.githubusercontent.com/lqd/49a6ca9e8ff75ef0b17a9c1b0f48020a/raw/bb223458e6bb05a129a9cdf172f10eab14850e01/metadata.json</a></p>



<a name="205791196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791196">(Aug 03 2020 at 13:08)</a>:</h4>
<p>it doesn't seem to know where the source is</p>



<a name="205791223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791223">(Aug 03 2020 at 13:09)</a>:</h4>
<p>hm that's actually correct</p>



<a name="205791227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791227">(Aug 03 2020 at 13:09)</a>:</h4>
<p>I think?</p>



<a name="205791230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791230">(Aug 03 2020 at 13:09)</a>:</h4>
<p>but maybe that's ok</p>



<a name="205791249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791249">(Aug 03 2020 at 13:09)</a>:</h4>
<p>yeah the other path dependencies don't seem to have it set either</p>



<a name="205791347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791347">(Aug 03 2020 at 13:10)</a>:</h4>
<p>is this a path dep? or <a href="http://crates.io">crates.io</a>?</p>



<a name="205791370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791370">(Aug 03 2020 at 13:10)</a>:</h4>
<p>path dep</p>



<a name="205791398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791398">(Aug 03 2020 at 13:11)</a>:</h4>
<p>hum</p>



<a name="205791419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791419">(Aug 03 2020 at 13:11)</a>:</h4>
<p>it's not in packages for some reason</p>



<a name="205791422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791422">(Aug 03 2020 at 13:11)</a>:</h4>
<p>it's usually a crates io dep, but here I just switched it to using a path dep, is what I meant</p>



<a name="205791429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791429">(Aug 03 2020 at 13:11)</a>:</h4>
<p>I don't quite understand why</p>



<a name="205791449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791449">(Aug 03 2020 at 13:11)</a>:</h4>
<p>your lockfile changed, right?</p>



<a name="205791501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791501">(Aug 03 2020 at 13:12)</a>:</h4>
<p>yeah</p>



<a name="205791525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791525">(Aug 03 2020 at 13:12)</a>:</h4>
<p>how are you invoking x.py?</p>



<a name="205791539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791539">(Aug 03 2020 at 13:12)</a>:</h4>
<p><code>./x.py check</code></p>



<a name="205791562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791562">(Aug 03 2020 at 13:12)</a>:</h4>
<p>it doesn't seem to be only on my machine as Albin had the same issue earlier</p>



<a name="205791585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791585">(Aug 03 2020 at 13:13)</a>:</h4>
<p>do you have a branch I can build?</p>



<a name="205791644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205791644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205791644">(Aug 03 2020 at 13:13)</a>:</h4>
<p>yeah I'll push one</p>



<a name="205792068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792068">(Aug 03 2020 at 13:17)</a>:</h4>
<p>so <a href="https://github.com/lqd/rust/tree/bootstrap_failure">https://github.com/lqd/rust/tree/bootstrap_failure</a></p>



<a name="205792129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792129">(Aug 03 2020 at 13:18)</a>:</h4>
<p>hi all :)</p>



<a name="205792136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792136">(Aug 03 2020 at 13:18)</a>:</h4>
<p>lots to catch upon here :)</p>



<a name="205792147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792147">(Aug 03 2020 at 13:18)</a>:</h4>
<p>/me starts reading</p>



<a name="205792165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792165">(Aug 03 2020 at 13:18)</a>:</h4>
<p>but to see if it reproduces you'd need to change the polonius-engine path dep to a local checkout of <a href="https://github.com/rust-lang/polonius">https://github.com/rust-lang/polonius</a></p>



<a name="205792206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792206">(Aug 03 2020 at 13:18)</a>:</h4>
<p>hi niko :)</p>



<a name="205792250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792250">(Aug 03 2020 at 13:19)</a>:</h4>
<p>not that much to catch up a lot of the backlog is about a weird issue Albin and I are having, which didn't happen a few weeks/months back</p>



<a name="205792258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792258">(Aug 03 2020 at 13:19)</a>:</h4>
<p>I guess first step is that I should try to do the same build...</p>



<a name="205792410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792410">(Aug 03 2020 at 13:20)</a>:</h4>
<p>it's not blocking or anything, just weird, as we can still use git dependencies without this issue, only a local checkout doesn't work somehow</p>



<a name="205792487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792487">(Aug 03 2020 at 13:21)</a>:</h4>
<p>I guess what I really want to do is to get "back up to speed" to start -- would you say a good first step is to build polonius git repo, should I also be building a fresh rustc .. I forget how the integration works tbqh</p>



<a name="205792497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792497">(Aug 03 2020 at 13:21)</a>:</h4>
<p>I guess it just needs <code>-Zpolonius</code>?</p>



<a name="205792576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792576">(Aug 03 2020 at 13:22)</a>:</h4>
<p>to test using rustc yeah</p>



<a name="205792621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792621">(Aug 03 2020 at 13:22)</a>:</h4>
<p>depending on what you want to do, running the cli or unit tests will be faster in polonius directly though</p>



<a name="205792678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792678">(Aug 03 2020 at 13:23)</a>:</h4>
<p>but as of right now, there are no real differences between polonius git and the <a href="http://crates.io">crates.io</a> version</p>



<a name="205792744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792744">(Aug 03 2020 at 13:23)</a>:</h4>
<p>(besides some printing in the CLI)</p>



<a name="205792874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792874">(Aug 03 2020 at 13:24)</a>:</h4>
<p>I was trying to prepare my WIP work on fixing the fact generation OOMs, and Albin was just building to look at emitting move errors, when we hit this snag</p>



<a name="205792918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792918">(Aug 03 2020 at 13:25)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> yeah so you can almost certainly fix it by using <code>[patch.crates-io]</code> in the root rather than path deps</p>



<a name="205792935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792935">(Aug 03 2020 at 13:25)</a>:</h4>
<p>I think we don't support path deps going outside the workspace or so</p>



<a name="205792948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792948">(Aug 03 2020 at 13:25)</a>:</h4>
<p>(maybe a cargo bug? not sure)</p>



<a name="205792961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205792961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205792961">(Aug 03 2020 at 13:25)</a>:</h4>
<p>that would make sense</p>



<a name="205793012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205793012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205793012">(Aug 03 2020 at 13:26)</a>:</h4>
<div class="codehilite"><pre><span></span><code><span class="gh">diff --git a/Cargo.toml b/Cargo.toml</span>
<span class="gh">index 1936e35aa4c..a85567fdce8 100644</span>
<span class="gd">--- a/Cargo.toml</span>
<span class="gi">+++ b/Cargo.toml</span>
<span class="gu">@@ -98,5 +98,7 @@ rustc-std-workspace-std = { path = &#39;library/rustc-std-workspace-std&#39; }</span>
 # source code for this crate.
 backtrace = { path = &quot;library/backtrace&quot; }

<span class="gi">+polonius-engine = { path = &quot;../polonius/polonius-engine&quot; }</span>
<span class="gi">+</span>
 [patch.&quot;https://github.com/rust-lang/rust-clippy&quot;]
 clippy_lints = { path = &quot;src/tools/clippy/clippy_lints&quot; }
<span class="gh">diff --git a/src/librustc_middle/Cargo.toml b/src/librustc_middle/Cargo.toml</span>
<span class="gh">index 1257dd351f5..03431cb5a88 100644</span>
<span class="gd">--- a/src/librustc_middle/Cargo.toml</span>
<span class="gi">+++ b/src/librustc_middle/Cargo.toml</span>
<span class="gu">@@ -14,7 +14,7 @@ rustc_arena = { path = &quot;../librustc_arena&quot; }</span>
 bitflags = &quot;1.2.1&quot;
 log = { package = &quot;tracing&quot;, version = &quot;0.1&quot; }
 rustc-rayon-core = &quot;0.3.0&quot;
<span class="gd">-polonius-engine = { path = &quot;/mnt/d/work/rust/tmp-polonius/lqd-polonius6/polonius-engine&quot; }</span>
<span class="gi">+polonius-engine = &quot;0.12.0&quot;</span>
 rustc_apfloat = { path = &quot;../librustc_apfloat&quot; }
 rustc_attr = { path = &quot;../librustc_attr&quot; }
 rustc_feature = { path = &quot;../librustc_feature&quot; }
<span class="gh">diff --git a/src/librustc_mir/Cargo.toml b/src/librustc_mir/Cargo.toml</span>
<span class="gh">index 8d1f88e01a1..f05c47e0ed6 100644</span>
<span class="gd">--- a/src/librustc_mir/Cargo.toml</span>
<span class="gi">+++ b/src/librustc_mir/Cargo.toml</span>
<span class="gu">@@ -15,7 +15,7 @@ rustc_graphviz = { path = &quot;../librustc_graphviz&quot; }</span>
 itertools = &quot;0.8&quot;
 log = { package = &quot;tracing&quot;, version = &quot;0.1&quot; }
 log_settings = &quot;0.1.1&quot;
<span class="gd">-polonius-engine = { path = &quot;/mnt/d/work/rust/tmp-polonius/lqd-polonius6/polonius-engine&quot; }</span>
<span class="gi">+polonius-engine = &quot;0.12.0&quot;</span>
 rustc_middle = { path = &quot;../librustc_middle&quot; }
 rustc_attr = { path = &quot;../librustc_attr&quot; }
 rustc_data_structures = { path = &quot;../librustc_data_structures&quot; }
</code></pre></div>



<a name="205793017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205793017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205793017">(Aug 03 2020 at 13:26)</a>:</h4>
<p>it definitely used to work so maybe it's more or less recent</p>



<a name="205793049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205793049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205793049">(Aug 03 2020 at 13:26)</a>:</h4>
<p>I don't have time myself to file an issue with cargo but seems good to do so</p>



<a name="205793118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205793118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205793118">(Aug 03 2020 at 13:27)</a>:</h4>
<p>yeah I will temporarily use the <a href="http://crates.io">crates.io</a> patch technique, and look or file an issue on cargo later, thanks for looking at it <span class="user-mention" data-user-id="116122">@simulacrum</span></p>



<a name="205793241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205793241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205793241">(Aug 03 2020 at 13:28)</a>:</h4>
<p>ok well I'm building a fresh rustc, and building polonius was successful ;)</p>



<a name="205793279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205793279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205793279">(Aug 03 2020 at 13:28)</a>:</h4>
<p>kind of sad how long it's been since I had occasion to build rustc :'(</p>



<a name="205793345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/scheduling%20some%20sprints/near/205793345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/scheduling.20some.20sprints.html#205793345">(Aug 03 2020 at 13:29)</a>:</h4>
<p>thankfully it was only while trying with a local polonius build that it didn't work, so not that big of a deal</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>